Compute Theory

计算理论 Compute Theory 主要讨论 automate theory 和 computability theory。最优解 ≥ 最优值 ≥ 判定问题，且大多数情况下，最优解 = 最优值 = 判定问题，其中计算理论主要考虑 判定问题。

flowchart TD
subgraph automate_theory
	cd[computing device problems]
end
subgraph computability theory
	computable
	incomputable
end
cd --> computable
cd --> incomputable
subgraph complexity theory
computable --> et[efiiciently traceable]
computable --> intraceable
end